<div id="projectNav">
	<?php
		echo link_to('Home', '@homepage')." || ";
		
		echo link_to($project->getName(), '@project?pr_slug='.$project->getNameSlug()). " || ";
		
		echo link_to('Wiki', '@wiki_index?pr_slug='.$project->getNameSlug())." | ";
		
		echo link_to('Repo', 'http://voffice.cs.mcgill.ca/ser/websvn/', array('popup' => true))." | ";
		
		echo link_to('Bugs', '@bug_index?pr_slug='.$project->getNameSlug())." | ";
		
		echo link_to('IDE', '@ide_index?pr_slug='.$project->getNameSlug())." | ";
		
		echo link_to('Planning', '@planning_calendar_no_dates?pr_slug='.$project->getNameSlug());
	?>
</div>
